Décharge capillaire compacte et ultra-brève pour la lithographie UV extrême par projection

Collisionally pumped hybrid soft X-ray laser in Ne-like sulphur

We describe an experiment demonstrating XUV amplification following collisional excitation in a capillary discharge plasma irradiated by a picosecond IR laser pulse. Guiding and temporally resolved transmission of the pump laser beam are also demonstrated and analysed. The short pump laser pulse heated rapidly the electrons producing amplification in the 3pS0–3sP1 transition of Ne-like sulphur ...

Spécification et Vérification par Interprétation Abstraite d’Aspects pour la Distribution

Nous présentons une méthode pour spécifier et vérifier des programmes en séparant les préoccupations. En particulier, nous décrivons la spécification puis la vérification par interprétation abstraite de programmes distribués. Un programme est composé de deux parties, une partie concurrente et une partie fonctionnelle. Elles sont ensuite composées en utilisant un mécanisme de tissage simple (syn...

Approches région et bayésienne pour la restauration ďimages dégradées par la turbulence atmosphérique

Atmospheric turbulence perturbs high-resolution observation. This phenomenon has been studied since a long time, particularly in astronomy. We work here on the observation of an object lying about twenty kilometer far from an infrared imaging system; the light propagates horizontally near the ground. Long-exposure images are restored by classical deconvolution algorithms. Results are satisfying...

Séro-agglutination rapide et macroscopique pour la recherche d'anticorps de la Fièvre Q. chez les animaux

Explications conviviales pour la programmation par contraintes

RÉSUMÉ. Dans cet article, nous présentons un ensemble d’outils pour fournir des explications conviviales dans un système de programmation par contraintes avec explications. L’idée est de représenter les contraintes d’un problème sous forme hiérarchique (un arbre). Les utilisateurs sont alors représentés comme un ensemble de noeuds compréhensibles dans cet arbre (une coupe). Les explications cla...